predicate calculus wff
谓词演算合适公式
热门查询
- Peking n. 北京的旧称，现在称Beijing
- Welton [人名] [英格兰人姓氏] 韦尔顿住所名称，来源于古英语，含义是“泉，溪流+圈用地，居留地”(spring,stream+enclosure,settlement); [地名] [英国、英国] 韦尔顿
- fightback n. （英）回击；反攻
- overflow vi. 溢出；泛滥；充溢 n. 充满，洋溢；泛滥；超值；溢值 vt. 使溢出；使泛滥；使充溢
- mimic vt. 模仿，摹拟 n. 效颦者，模仿者；仿制品；小丑 adj. 模仿的，模拟的；假装的
- pleadingly adv. 诉愿地；祈求地
- puddle n. 水坑，泥潭；胶土（由粘土与水和成，不透水） vt. 使泥泞，搅浑；把…捣制成胶土；搅炼；用胶土填塞 vi. 搅泥浆；在水坑中嬉戏
- whisper n. 私语；谣传；飒飒的声音 vi. 耳语；密谈；飒飒地响 vt. 低声说出
- votary n. 崇拜者；出家人 adj. 立誓任圣职的；誓约的
- nubby adj. 有瘤的；块状的；有节的
- sesquicentennial n. 一百五十周年纪念 adj. 一百五十（周）年的
- retaliatory adj. 报复的
- sangfroid n. 沉着；冷静
- ICRC abbr. International Committee of the Red Cross 国际红十字委员会
- dit n. 小孔沙眼；摩尔斯讯号的短音 n. (Dit)人名；(罗、几)迪特；(中)秩(广东话·威妥玛)
- go-ahead n. 前进，进步；放行信号 adj. 前进着的
- altar n. 祭坛；圣坛；圣餐台 n. (Altar)人名；(法、塞、罗)阿尔塔
- Lupton [人名] [英格兰人姓氏] 勒普顿住所名称，来源于古英语人名Hluppa+“圈用地，居留地”(enclosure,settlement)
- handle n. [建] 把手；柄；手感；口实 vt. 处理；操作；运用；买卖；触摸 vi. 搬运；易于操纵
- feasible adj. 可行的；可能的；可实行的
